MB Type One-Person Font License (1) This license covers one person: you, the license owner. Below, I’ll shorten this to “you.” (2) I, Matthew Butterick (d/b/a MB Type), own the fonts delivered with this license. Be

Source URL: typographyforlawyers.com

• Digital typography
• Typography
• Typesetting
• Writing
• Web design
• Web typography
• World Wide Web
• Digital media
• Graphic design
• Font
• Google Fonts
• TrueType

Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS Matthew Smith1 , Daniel Moser2 , Martin Strohmeier1 , Vincent Lenders3 , and Ivan Martinovic1 1

Source URL: www.lenders.ch

• Aircraft instruments
• Aviation
• Avionics
• Technology
• Electronics
• ACARS
• ARINC
• VHF Data Link
• SATCOM
• Data link
• Pilot report
• Flight plan

The Racket Reference Version 6.1 Matthew Flatt and PLT August 1, 2014

Source URL: download.racket-lang.org

• Computer programming
• Software engineering
• Computing
• Object-oriented programming languages
• Functional languages
• Functional programming
• Data types
• Scripting languages
• Racket
• Generator
• Immutable object
• Macro

Fast Reacquisition and Renewal in Human Category Learning Matthew J. Crossley , F. Gregory Ashby , Brian D. Glass , W. Todd Maddox 1 1,

Source URL: www.homepages.ucl.ac.uk

• Neuroscience
• Brain
• Addiction
• Nervous system
• Basal ganglia
• Cerebrum
• Striatum
• Reward system

Hypothetical Outcome Plots Help Untrained Observers Judge Trends in Ambiguous Data Alex Kale, Francis Nguyen, Matthew Kay, and Jessica Hullman Fig. 1. We present two experiments (E1 and E2) evaluating four different unce

Source URL: idl.cs.washington.edu

The Racket Reference Version 6.9 Matthew Flatt and PLT May 1, 2017

Source URL: download.racket-lang.org

• Computer programming
• Software engineering
• Computing
• Object-oriented programming languages
• Functional languages
• Data types
• Functional programming
• Scripting languages
• Racket
• Generator
• Macro
• Mutator method

1 Implementing Attestable Kiosks Matthew Bernhard† Gabe Stocco? J. Alex Halderman† †

Source URL: mbernhard.com

• Microsoft Windows
• Computer security
• System software
• Cryptographic software
• Disk encryption
• Trusted computing
• Kiosks
• Windows Vista
• Kiosk software
• Trusted Platform Module
• Interactive kiosk
• Next-Generation Secure Computing Base

PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet

Source URL: manticore.cs.uchicago.edu

• Software engineering
• Computer programming
• Compiler optimizations
• Computing
• Inline expansion
• Optimizing compiler
• Data-flow analysis
• Scope
• Standard ML
• Functional programming
• Directed acyclic graph
• Static single assignment form

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

Source URL: publish.illinois.edu

• Systems theory
• Differential equations
• Metaphysics
• Control theory
• Hybrid system
• Mathematical analysis
• Dynamical system
• Mathematics
• Symbol
• Hybrid automaton

1 Introduction to Multivariate Network Visualization Andreas Kerren, Helen C. Purchase, and Matthew O. Ward Information Visualization (InfoVis) research focuses on the use of techniques

Source URL: homepage.lnu.se